大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Union for Vacuum Science 的图书(共11409本)

Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

0
索取号：
作者：Domenach、 Florent.、Ignatov、 Dmitry I.、Poelmans、 Jonas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

0
索取号：
作者：Peffers、 Ken.、Rothenberger、 Marcus.、Kuechler、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

0
索取号：
作者：Khurshid、 Sarfraz.、Sen、 Koushik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trust Management VI [electronic resource] : 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings

0
索取号：
作者：Dimitrakos、 Theo.、Moona、 Rajat.、Patel、 Dhiren.、McKnight、 D. Harrison.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

0
索取号：
作者：Lirkov、 Ivan.、Margenov、 Svetozar.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematics of Discrete Structures for Computer Science [electronic resource]

0
索取号：
作者：Pace、 Gordon J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

0
索取号：
作者：Carbone、 Marco.、Petit、 Jean-Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 鈥ʵne1, 2012. Proceedings

0
索取号：
作者：Beldiceanu、 Nicolas.、Jussien、 Narendra.、Pinson、 脡ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

0
索取号：
作者：Schrijvers、 Tom.、Thiemann、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Business Modeling and Software Design [electronic resource] : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

0
索取号：
作者：Shishkov、 Boris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Wireless Mobile Communication and Healthcare [electronic resource] : Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papers

0
索取号：
作者：Nikita、 Konstantina S.、Lin、 James C.、Fotiadis、 Dimitrios I.、Arredondo Waldmeyer、 Maria-Teresa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

0
索取号：
作者：Clarke、 Edmund.、Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings

0
索取号：
作者：Snoeyink、 Jack.、Lu、 Pinyan.、Su、 Kaile.、Wang、 Lusheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Communication Technologies for Vehicles [electronic resource] : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

0
索取号：
作者：Vinel、 Alexey.、Mehmood、 Rashid.、Berbineau、 Marion.、Garcia、 Cristina Rico.、Huang、 Chung-Ming.、Chilamkurti、 Naveen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Technology and Management [electronic resource] : Proceedings of the 2012 International Conference on Technology and Management (ICTAM 2012), International Convention Center Jeju, Jeju-Island, Korea

0
索取号：
作者：Kim、 Haenakon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Research in Computational Molecular Biology [electronic resource] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings

0
索取号：
作者：Chor、 Benny.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.